n×m−valued Lukasiewicz-Moisil algebras with two modal operators
نویسندگان
چکیده
In 2000, Figallo and Sanza introduced the n×m−valued Lukasiewicz-Moisil algebras, which are a particular case of Matrix Lukasiewicz algebras, and a nontrivial generalization of n−valued Lukasiewicz-Moisil algebras. Here we start a research on the class of n × m−valued Lukasiewicz-Moisil algebras endowed with two modal operators (or 2mLMn×m−algebras). These algebras constitute a common generalization of both weak-tense Boolean algebras and weak-tense nvalued Lukasiewicz-Mosil algebras. Our most important result is a representation theorem for 2mLMn×m−algebras. In addition, as a corollary to the previous theorem, we obtain the representation theorem given by Chiriţă in 2012 for weaktense n−valued Lukasiewicz-Moisil algebras.
منابع مشابه
Mutually Exclusive Nuances of Truth in Moisil Logic
Moisil logic, having as algebraic counterpart Lukasiewicz-Moisil algebras, provides an alternative way to reason about vague information based on the following principle: a many-valued event is characterized by a family of Boolean events. However, using the original definition of Lukasiewicz-Moisil algebra, the principle does not apply for subalgebras. In this paper we identify an alternative a...
متن کاملConnections between M V N Algebras and N-valued Lukasiewicz-moisil Algebras -iv 1 ;2
We introduce two chains of unary operations in the MVn algebra of Revaz Grigolia; they will be used in establishing many connections between these algebras and n-valued Lukasiewicz-Moisil algebras (LMn algebras for short). The study has four parts. It is by and large self-contained. The main result of the rst part is that MV4 algebras coincide with LM4 algebras. The larger class of \relaxed"-MV...
متن کاملProbabilities on Lukasiewicz-Moisil algebras
We define a concept of probability on an n-valued Lukasiewicz-Moisil algebra and we present some basic properties. The main result is an extension theorem for continuous probabilities, which is already known for probabilities defined on Boolean algebras and MV-algebras. © 1998 Elsevier Science Inc. All rights reserved.
متن کاملTense Operators on MV-Algebras and Lukasiewicz-Moisil Algebras
We introduce the tense LMn-algebras and the tense MV algebras as algebraic structures for some tense many-valued logics. A representation theorem for tense LMn-algebras is proved and the polynomially equivalence between tense LM3-algebras (resp. tense LM4-algebras) and tense MV3-algebras (resp. tense MV4-algebras) is established. We study the pairs of dually-conjugated operations on MV -algebra...
متن کاملTitle Fuzzy Topology and Łukasiewicz Logics from the
This paper explores relationships between many-valued logic and fuzzy topology from the viewpoint of duality theory. We first show a fuzzy topological duality for the algebras of Lukasiewicz n-valued logic with truth constants, which generalizes Stone duality for Boolean algebras to the n-valued case via fuzzy topology. Then, based on this duality, we show a fuzzy topological duality for the al...
متن کامل